Программа преобразования пытается вычислить размерность выражений, созданных пользователем, если она не задана явно с помощью функций k() , in() и mm() . Порядок вычисления размерности следующий:
Присваивается размерность выражениям, созданным системой, и тем пользовательским выражениям, для которых она явно определена.
Проверяется соответствие размерности левой и правой частей записи выражения.
Пример:
Здесь, p1 и p2 - выражения, созданные системой var1 и var2 - пользовательские выражения Программа преобразования определит размерность выражений следующим образом: Присвоит p1 и p2 размерность 1. Вычислит размерность var1 равной 1. Вычислит размерность var2 равной 1.